The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Dimitra Giannakopoulou Books

Results for Dimitra Giannakopoulou

Showing 1 to 4 of 4 results
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Lecture Notes in Computer Science) Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Lecture Notes in Computer Science) by Dimitra Giannakopoulou, Daniel Kroening

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Lecture Notes in Computer Science)

by Dimitra Giannakopoulou, Daniel Kroening


ISBN 13: 9783319121536

Format: Paperback (300 pages)
Publisher: Springer
Published: 14 Oct 2014

Save for later

 
New : $47.65  
New : $47.65
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings: 8702 (Lecture Notes in Computer Science) Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings: 8702 (Lecture Notes in Computer Science) by Dimitra Giannakopoulou, Gwen Salaün

Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings: 8702 (Lecture Notes in Computer Science)

by Dimitra Giannakopoulou, Gwen Salaün


ISBN 13: 9783319104300

Format: Paperback (416 pages)
Publisher: Springer
Published: 04 Aug 2014

Save for later

 
New : $64.66  
New : $64.66
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings: 7436 (Lecture Notes in Computer Science) FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings: 7436 (Lecture Notes in Computer Science) by Dimitra Giannakopoulou,Dominique Mery

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings: 7436 (Lecture Notes in Computer Science)

by Dimitra Giannakopoulou,Dominique Mery


ISBN 13: 9783642327582

Format: Paperback (504 pages)
Publisher: Springer
Published: 21 Jul 2012

Save for later

 
New : $70.39  
New : $70.39
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings: 12229 (Lecture Notes in Computer Science, 12229) NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings: 12229 (Lecture Notes in Computer Science, 12229) by Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings: 12229 (Lecture Notes in Computer Science, 12229)

by Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou


ISBN 13: 9783030557539

Format: Paperback (463 pages)
Publisher: Springer
Published: 09 Aug 2020

Save for later

 
New : $76.11  
New : $76.11